Alexandre Petrenko: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Phage as a molecular recognition element in biosensors immobilized by physical adsorption

Viswaprakash Nanduri, Iryna B. Sorokulova, Alexandre M. Samoylov, Aleksandr L. Simonian, Valery A. Petrenko, Vitaly Vodyanoy

Journal:

Biosensors and Bioelectronics

Year:

2007

Language:

english

File:

PDF, 401 KB

english, 2007

2

REFINING SPECIFICATIONS IN ADAPTIVE TESTING OF NONDETERMINISTIC FINITE STATE MACHINES

PETRENKO ALEXANDRE,YEVTUSHENKO NINA

Journal:

Вестник Томского государственного университета. Управление, вычислительная техника и информатика

Year:

2009

Language:

english

File:

PDF, 476 KB

english, 2009

3

Component-Based Design by Solving Language Equations

Villa, Tiziano, Petrenko, Alexandre, Yevtushenko, Nina, Mishchenko, Alan, Brayton, Robert

Journal:

Proceedings of the IEEE

Year:

2015

Language:

english

File:

PDF, 378 KB

english, 2015

4

Can a Model Checker Generate Tests for Non-Deterministic Systems?

Sergiy Boroday, Alexandre Petrenko, Roland Groz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 333 KB

english, 2007

5

Testing in context: framework and test derivation

Alexandre Petrenko, Nina Yevtushenko, Gregor v. Bochmann, Rachida Dssouli

Journal:

Computer Communications

Year:

1996

Language:

english

File:

PDF, 1.77 MB

english, 1996

6

Transition covering tests for systems with queues

Jiale Huo, Alexandre Petrenko

Journal:

Software Testing, Verification and Reliability

Year:

2009

Language:

english

File:

PDF, 398 KB

english, 2009

7

Prioritizing test cases with string distances

Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran

Journal:

Automated Software Engineering

Year:

2012

Language:

english

File:

PDF, 1.10 MB

english, 2012

8

On reducing test length for FSMs with extra states

Adenilso Simão, Alexandre Petrenko, Nina Yevtushenko

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 1.26 MB

english, 2012

9

Model-based testing of software and systems: recent advances and challenges

Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2012

Language:

english

File:

PDF, 121 KB

english, 2012

10

Generating asynchronous test cases from test purposes

Adenilso Simao, Alexandre Petrenko

Journal:

Information and Software Technology

Year:

2011

Language:

english

File:

PDF, 787 KB

english, 2011

11

Infective and inactivated filamentous phage as carriers for immunogenic peptides

Tatiana I. Samoylova, Mandy D. Norris, Alexandre M. Samoylov, Anna M. Cochran, Karen G. Wolfe, Valery A. Petrenko, Nancy R. Cox

Journal:

Journal of Virological Methods

Year:

2012

Language:

english

File:

PDF, 619 KB

english, 2012

12

Phage display allows identification of zona pellucida-binding peptides with species-specific properties: Novel approach for development of contraceptive vaccines for wildlife

Tatiana I. Samoylova, Anna M. Cochran, Alexandre M. Samoylov, Bettina Schemera, Adam H. Breiteneicher, Stephen S. Ditchkoff, Valery A. Petrenko, Nancy R. Cox

Journal:

Journal of Biotechnology

Year:

2012

Language:

english

File:

PDF, 589 KB

english, 2012

13

Checking Completeness of Tests for Finite State Machines

Simao, Adenilso, Petrenko, Alexandre

Journal:

IEEE Transactions on Computers

Year:

2010

Language:

english

File:

PDF, 837 KB

english, 2010

14

[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 || Model Based Testing of an Embedded Session and Transport Protocol

Petrenko, Alexandre, Veanes, Margus, Tretmans, Jan, Grieskamp, Wolfgang

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

15

[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 2931 || JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit

Petrenko, Alexandre, Ulrich, Andreas

Year:

2004

Language:

english

File:

PDF, 505 KB

english, 2004

16

[Lecture Notes in Computer Science] Testing Software and Systems Volume 6435 || Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing

Petrenko, Alexandre, Simão, Adenilso, Maldonado, José Carlos

Year:

2010

Language:

english

File:

PDF, 271 KB

english, 2010

17

A formal approach for run-time verification of web applications using scope-extended LTL

Haydar, May, Petrenko, Alexandre, Boroday, Sergiy, Sahraoui, Houari

Journal:

Information and Software Technology

Year:

2013

Language:

english

File:

PDF, 2.00 MB

english, 2013

18

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Adaptive Testing of Nondeterministic Systems with FSM

Petrenko, Alexandre, Yevtushenko, Nina

Year:

2014

Language:

english

File:

PDF, 189 KB

english, 2014

19

[Lecture Notes in Computer Science] Testing Software and Systems Volume 6435 ||

Petrenko, Alexandre, Simão, Adenilso, Maldonado, José Carlos

Year:

2010

Language:

english

File:

PDF, 5.55 MB

english, 2010

20

[Lecture Notes in Computer Science] Testing Software and Systems Volume 6435 || Reducing the Cost of Model-Based Testing through Test Case Diversity

Petrenko, Alexandre, Simão, Adenilso, Maldonado, José Carlos

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

21

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Inferring Approximated Models for Systems Engineering

Petrenko, Alexandre, Li, Keqin, Groz, Roland, Hossen, Karim, Oriat, Catherine

Year:

2014

Language:

english

File:

PDF, 263 KB

english, 2014

22

[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 ||

Petrenko, Alexandre, Veanes, Margus, Tretmans, Jan, Grieskamp, Wolfgang

Year:

2007

Language:

english

File:

PDF, 9.46 MB

english, 2007

23

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Using String Distances for Test Case Prioritisation

Ledru, Yves, Petrenko, Alexandre, Boroday, Sergiy

Year:

2009

Language:

english

File:

PDF, 435 KB

english, 2009

24

[IEEE 2009 IEEE International Conference on Web Services (ICWS) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 IEEE International Conference on Web Services - Inferring Behavioural Models from Traces of Business Applications

Dury, Arnaud, Hallal, Hesham H., Petrenko, Alexandre

Year:

2009

Language:

english

File:

PDF, 382 KB

english, 2009

25

[IEEE 2008 8th International Conference on Web Engineering (ICWE) - Yorktown Heights, NJ, USA (2008.07.14-2008.07.18)] 2008 Eighth International Conference on Web Engineering - Specification Patterns for Formal Web Verification

Haydar, May, Sahraoui, Houari, Petrenko, Alexandre

Year:

2008

Language:

english

File:

PDF, 280 KB

english, 2008

26

[IEEE 2010 International Conference on Machine and Web Intelligence (ICMWI) - Algiers, Algeria (2010.10.3-2010.10.5)] 2010 International Conference on Machine and Web Intelligence - WeSPaS — Web specification pattern system

Haydar, May, Petrenko, Alexandre, Sahraoui, Houari

Year:

2010

Language:

english

File:

PDF, 769 KB

english, 2010

27

[IEEE 2009 International Conference on Software Testing, Verification, and Validation Workshops - Denver, CO, USA (2009.04.1-2009.04.4)] 2009 International Conference on Software Testing, Verification, and Validation Workshops - Checking Sequence Generation Using State Distinguishing Subsequences

Simão, Adenilso, Petrenko, Alexandre

Year:

2009

Language:

english

File:

PDF, 322 KB

english, 2009

28

[IEEE The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007) - Valencia, Spain (2007.10.14-2007.10.20)] The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007) - Formal Verification of Business Workflows and Role Based Access Control Systems

Dury, Arnaud, Boroday, Sergiy, Petrenko, Alexandre, Lotz, Volkmar

Year:

2007

Language:

english

File:

PDF, 220 KB

english, 2007

29

[Lecture Notes in Computer Science] Testing of Software and Communicating Systems Volume 4581 || Implementing Conformiq Qtronic

Petrenko, Alexandre, Veanes, Margus, Tretmans, Jan, Grieskamp, Wolfgang

Year:

2007

Language:

english

File:

PDF, 446 KB

english, 2007

30

[IEEE Test Symposium (EWDTS) - Lviv, Ukraine (2008.10.9-2008.10.12)] Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08) - Test suite consistency verification

Boroday, Sergiy, Petrenko, Alexandre, Ulrich, Andreas

Year:

2008

Language:

english

File:

PDF, 108 KB

english, 2008

31

[IEEE 2009 IEEE Congress on Services (SERVICES) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 Congress on Services - I - Web-FIM: Automated Framework for the Inference of Business Software Models

Hallal, Hesham H., Dury, Arnaud, Petrenko, Alexandre

Year:

2009

Language:

english

File:

PDF, 1.55 MB

english, 2009

32

Integration testing of communicating systems with unknown components

Groz, Roland, Li, Keqin, Petrenko, Alexandre

Journal:

annals of telecommunications - annales des télécommunications

Year:

2015

Language:

english

File:

PDF, 2.65 MB

english, 2015

33

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Generating Checking Sequences for Nondeterministic Finite State Machines

Petrenko, Alexandre, Simao, Adenilso, Yevtushenko, Nina

Year:

2012

Language:

english

File:

PDF, 325 KB

english, 2012

34

[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 2931 ||

Petrenko, Alexandre, Ulrich, Andreas

Year:

2004

Language:

english

File:

PDF, 3.63 MB

english, 2004

35

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - From Test Purposes to Asynchronous Test Cases

Simao, Adenilso, Petrenko, Alexandre

Year:

2010

Language:

english

File:

PDF, 379 KB

english, 2010

36

[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 2931 || Towards a Tool Environment for Model-Based Testing with AsmL

Petrenko, Alexandre, Ulrich, Andreas

Year:

2004

Language:

english

File:

PDF, 240 KB

english, 2004

37

[ACM Press the 1994 international symposium - Seattle, Washington, United States (1994.08.17-1994.08.19)] Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 - Protocol testing

Bochmann, Gregor V., Petrenko, Alexandre

Year:

1994

Language:

english

File:

PDF, 2.12 MB

english, 1994

38

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Properties and scopes in web model checking

Haydar, May, Boroday, Sergiy, Petrenko, Alexandre, Sahraoui, Houari

Year:

2005

Language:

english

File:

PDF, 75 KB

english, 2005

39

Comments on “a reduced test suite for protocol conformance testing”

Petrenko, Alexandre

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1997

Language:

english

File:

PDF, 171 KB

english, 1997

40

[ACM Press the 52nd Annual Design Automation Conference - San Francisco, California (2015.06.07-2015.06.11)] Proceedings of the 52nd Annual Design Automation Conference on - DAC '15 - Model-based testing of automotive software

Petrenko, Alexandre, Timo, Omer Nguena, Ramesh, S.

Year:

2015

Language:

english

File:

PDF, 200 KB

english, 2015

41

[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 2931 || Test Cases Generation for Nondeterministic Real-Time Systems

Petrenko, Alexandre, Ulrich, Andreas

Year:

2004

Language:

english

File:

PDF, 328 KB

english, 2004

42

[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 2931 || Time-Optimal Real-Time Test Case Generation Using Uppaal

Petrenko, Alexandre, Ulrich, Andreas

Year:

2004

Language:

english

File:

PDF, 212 KB

english, 2004

43

Humoral immune responses against gonadotropin releasing hormone elicited by immunization with phage-peptide constructs obtained via phage display

Samoylov, Alexandre, Cochran, Anna, Schemera, Bettina, Kutzler, Michelle, Donovan, Caitlin, Petrenko, Valery, Bartol, Frank, Samoylova, Tatiana

Journal:

Journal of Biotechnology

Year:

2015

Language:

english

File:

PDF, 597 KB

english, 2015

44

[IEEE 2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES) - Siegen, Germany (2015.6.8-2015.6.10)] 10th IEEE International Symposium on Industrial Embedded Systems (SIES) - Building an interactive test development environment for cyclic executive systems

Langelier, Guillaume, Dury, Arnaud, Petrenko, Alexandre, Ramesh, S., Assaf, Tameem

Year:

2015

Language:

english

File:

PDF, 626 KB

english, 2015

45

Preface

Gaston, Christophe, Le Gall, Pascale, Petrenko, Alexandre

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 102 KB

english, 2016

46

Generalizing the DS-Methods for Testing Non-Deterministic FSMs

Petrenko, Alexandre, Simao, Adenilso

Journal:

The Computer Journal

Year:

2015

Language:

english

File:

PDF, 521 KB

english, 2015

47

[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - Reachability in hierarchical machines

Timo, Omer Nguena, Petrenko, Alexandre, Dury, Arnaud, Ramesh, S.

Year:

2014

Language:

english

File:

PDF, 151 KB

english, 2014

48

[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Checking Experiments for Symbolic Input/Output Finite State Machines

Petrenko, Alexandre

Year:

2016

Language:

english

File:

PDF, 304 KB

english, 2016

49

Toward testing from finite state machines with symbolic inputs and outputs

Petrenko, Alexandre

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 637 KB

english, 2017

50

[ACM Press the 21th ACM/IEEE International Conference - Copenhagen, Denmark (2018.10.14-2018.10.19)] Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18 - Towards Testing from Finite State Machines with Symbolic Inputs and Outputs

Petrenko, Alexandre

Year:

2018

Language:

english

File:

PDF, 792 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски